Søkt på: Bøker av manfred broy
totalt 85 treff
Formal Methods in Programming and Their Applications
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in …
Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical …
Programming and Mathematical Method
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. …
Informatik. Eine grundlegende Einführung
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen …
Cyber-Physical Systems
Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen. Sie ermöglichen neuartige industrielle …
Control Flow and Data Flow: Concepts of Distributed Programming
In a time of multiprocessor machines, message switching networks and process control programming tasks, the foundations of programming distributed systems are among the central …
Perspectives of System Informatics
This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference \Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), …
Constructive Methods in Computing Science
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. …
Mathematical Methods in Program Development
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, …
Informatik Eine grundlegende Einführung
Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen …
Specification and Development of Interactive Systems
This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches …